SPECC: concept, clinical relevance and application

The Specc Methodology the Specc Methodology

This report describes the SpecC methodology for system-level embedded system design. The methodology consists of a set of well-deened tasks and design models which allow the easy insertion and reuse of intellectual property. Starting from the abstract executable speciication written in SpecC diierent design alternatives concerning the system architecture (components and communication) can be ex...

Parsimonious Relevance and Concept Models

We describe our participation in the CLEF 2008 Domain Specific track. The research questions we address are threefold: (i) what are the effects of estimating and applying relevance models to the domain specific collection used at CLEF 2008, (ii) what are the results of parsimonizing these relevance models, and (iii) what are the results of applying concept models for blind relevance feedback? P...

A simplified aesthetic concept: historical review and current clinical application.

The Concept of Geographic Relevance

INTRODUCTION The almost ubiquitous access to geographic information has become a commodity owing to affordable and powerful mobile devices, widespread availability of mobile network connectivity, provision of spatial data sets, and services built upon them. Such mobile services employing geographic information, for instance location-based services (LBS) or mobile traffic and tourism related ser...

SpecC Language Reference Manual

The SpecC Language Reference Manual defines the syntax and the semantics of the SpecC language. The SpecC language is defined as extension of the ANSI-C programming language. This document describes the SpecC constructs that were added to the ANSI-C language. For each SpecC construct, its purpose, its syntax, and its semantics are defined. In addition, each SpecC construct is illustrated by an ...